extension | φ:Q→Out N | d | ρ | Label | ID |
C23:C8:1C2 = C24:C8 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 16 | | C2^3:C8:1C2 | 128,48 |
C23:C8:2C2 = C24.D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 16 | | C2^3:C8:2C2 | 128,75 |
C23:C8:3C2 = C23:D8 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 16 | | C2^3:C8:3C2 | 128,327 |
C23:C8:4C2 = C23.5D8 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:4C2 | 128,339 |
C23:C8:5C2 = C24.9D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 16 | | C2^3:C8:5C2 | 128,332 |
C23:C8:6C2 = C24.12D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:6C2 | 128,338 |
C23:C8:7C2 = C24.15D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:7C2 | 128,344 |
C23:C8:8C2 = C24.18D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:8C2 | 128,350 |
C23:C8:9C2 = C23:SD16 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 16 | | C2^3:C8:9C2 | 128,328 |
C23:C8:10C2 = C23:2SD16 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:10C2 | 128,333 |
C23:C8:11C2 = C24.16D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:11C2 | 128,345 |
C23:C8:12C2 = C25.3C4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 16 | | C2^3:C8:12C2 | 128,194 |
C23:C8:13C2 = C23:M4(2) | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:13C2 | 128,197 |
C23:C8:14C2 = C42.43D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:14C2 | 128,198 |
C23:C8:15C2 = C23:C8:C2 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:15C2 | 128,200 |
C23:C8:16C2 = C42.395D4 | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:16C2 | 128,201 |
C23:C8:17C2 = C24.(C2xC4) | φ: C2/C1 → C2 ⊆ Out C23:C8 | 32 | | C2^3:C8:17C2 | 128,203 |
C23:C8:18C2 = C23.8M4(2) | φ: trivial image | 32 | | C2^3:C8:18C2 | 128,191 |
C23:C8:19C2 = C42.393D4 | φ: trivial image | 32 | | C2^3:C8:19C2 | 128,192 |